遗传中紧空间与散射分解

本文证明了可数仿紧(中紧、亚紧)空间有类似Junnila的刻画，遗传中紧空间不具有类似Junnila的刻画，并给出了每个散射分解有紧有限的开膨胀的充要条件．     

A theorem on sequentiality and compactness, with its fuzzy extension

An amended proof of a theorem of Franklin's on sequentiality and sequential compactness is presented, and a corresponding fuzzy version formulated using the theory of quasi-coincidence.     

Normal Vietoris Implies Compactness: A Short Proof

One of the most celebrated results in the theory of hyperspaces says that if the Vietoris topology on the family of all nonempty closed subsets of a given space is normal, then the space is compact (Ivanova-Keesling-Velichko). The known proofs use cardinality arguments and are long. In this paper we present a short proof using known results concerning Hausdorff uniformities.     

Spectra of computable models for Ehrenfeucht theories

We construct an example of a theory with a finite (greater than one) number of isomorphism types of countable models such that its prime and saturated models have computable presentations and there exists a model which lacks in such. Supported by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools via project NSh-4413.2006.1. __________ Translated from Algebra i Logika, Vol. 46, No. 3, pp. 275–289, May–June, 2007.     

New reals: Can live with them,can live without them

We give a self‐contained proof of the preservation theorem for proper countable support iterations known as “tools‐preservation”, “Case A” or “first preservation theorem” in the literature. We do not assume that the forcings add reals. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Asymptotic properties of constrained Markov Decision Processes

We present in this paper several asymptotic properties of constrained Markov Decision Processes (MDPs) with a countable state space. We treat both the discounted and the expected average cost, with unbounded cost. We are interested in (1) the convergence of finite horizon MDPs to the infinite horizon MDP, (2) convergence of MDPs with a truncated state space to the problem with infinite state space, (3) convergence of MDPs as the discount factor goes to a limit. In all these cases we establish the convergence of optimal values and policies. Moreover, based on the optimal policy for the limiting problem, we construct policies which are almost optimal for the other (approximating) problems. Based on the convergence of MDPs with a truncated state space to the problem with infinite state space, we show that an optimal stationary policy exists such that the number of randomisations it uses is less or equal to the number of constraints plus one. We finally apply the results to a dynamic scheduling problem.This work was partially supported by the Chateaubriand fellowship from the French embassy in Israel and by the European Grant BRA-QMIPS of CEC DG XIII     

Countable network weight and multiplication of Borel sets

A space Borel multiplies with a space if each Borel set of is a member of the -algebra in generated by Borel rectangles. We show that a regular space Borel multiplies with every regular space if and only if has a countable network. We give an example of a Hausdorff space with a countable network which fails to Borel multiply with any non-separable metric space. In passing, we obtain a characterization of those spaces which Borel multiply with the space of countable ordinals, and an internal necessary and sufficient condition for to Borel multiply with every metric space.

     

Countably compact extensions of topological spaces

We study the question whether a topological space X with a property $\text{P}$ can be embedded in a countably compact space X? with the same property $\text{P}$.     

Generalized Padé-Type Approximation and Integral Representations

In several complex variables, the multivariate Padé-type approximation theory is based on the polynomial interpolation of the multidimensional Cauchy kernel and leads to complicated computations. In this paper, we replace the multidimensional Cauchy kernel by the Bergman kernel function K (z,x) into an open bounded subset of C ⁿ and, by using interpolating generalized polynomials for K (z,x), we define generalized Padé-type approximants to any f in the space OL ²() of all analytic functions on which are of class L ². The characteristic property of such an approximant is that its Fourier series representation with respect to an orthonormal basis for OL ²() matches the Fourier series expansion of f as far as possible. After studying the error formula and the convergence problem, we show that the generalized Padé-type approximants have integral representations which give rise to the consideration of an integral operator – the so-called generalized Padé-type operator – which maps every f OL ²() to a generalized Padé-type approximant to f. By the continuity of this operator, we obtain some convergence results about series of analytic functions of class L ². Our study concludes with the extension of these ideas into every functional Hilbert space H and also with the definition and properties of the generalized Padé-type approximants to a linear operator of H into itself. As an application we prove a Painlevé-type theorem in C ⁿ and we give two examples making use of generalized Padé-type approximants.